<?hh
Class C {}
<<__EntryPoint>> function main(): void {
C::$p++;
}
